/*
 * MontecarloSolver.h
 *
 *  Created on: 16/mag/2012
 *      Author: Lorenzo
 */

#ifndef MONTECARLOSOLVER_H_
#define MONTECARLOSOLVER_H_

#include "EvaluationReport.h"
#include "Formula.h"

class MontecarloSolver {
public:
	MontecarloSolver();
	virtual ~MontecarloSolver();

	static EvaluationReport randomSolve(Formula& f, double epsilon);
	static EvaluationReport randomSolve(Formula& f, unsigned int maxIterations);
};


#endif /* MONTECARLOSOLVER_H_ */
